absolute value inequality by rewriting